amsdtx.dtx

---